<?php
foreach ($utilisateurs as $user){
	$cat="";
	if($user->getCategorie() != null)
		$cat=$user->getCategorie()->getNom();
    echo($user->getNom()." (".$cat.")<br>");
}
?>